The Appendix to “On the Canonicity of Higher-order Pi-calculus”

A Model-independent criteria of encodabil-ity A.0.1 Absolute equality and subbisimilarity Fu's model-independent interaction theory [1] is a set of criteria set for encodability of different style compared to Gorla's [2], which starts from the following basic principles. In a sense, one can read model-independence as general essence of process models. The readers are referred to [1] for more explanation and motivation. Definition 1. The principles of interation theory: • Object. There are two kinds of objects, the names and the interac-tants. • Action. There are two aspects of atomic actions, the internal aspect and the external aspect. • Observation. There are two universal operators, the composition operator and the localization/restriction operator.